Antinomio

Antinomio (greke ἀντί "anti" pri kontraŭ, νόμος "nomos" pri leĝo, do analoga al "malkongruo al leĝoj") estas speciala speco de logika kontraŭdiro, en kiu la reciproke kontraŭdiraj asertoj estas same bone bazitaj aŭ (en la kazo de formalaj sistemoj) same pruvitaj.